${\rm K}1,\,{\rm K}2$ and related modal systems.
نویسندگان
چکیده
منابع مشابه
Individual- and Population-based Diversity in RM Systems
Restriction-modification (RM) systems are cognate gene complexes that code for an endonuclease and a methylase. They are often thought to have developed in bacteria as protection against invading genetic material, e.g., phage DNA. The high diversity of RM systems, as observed in nature, is often ascribed to the coevolution of RM systems (which ‘invent’ novel types) and phages. However, the exte...
متن کاملBank ownership, rm value and rm capital structure in Europe*
We investigate the role of banks in the ownership structure of non- nancial rms. Distinguishing between banks and other institutional investors as shareholders, we examine the relationship between nancial institution ownership and the performance of the rms in which they hold equity. We control explicitly for the capital structure decision of the rms and the ownership decision of nancial i...
متن کاملcross-modal plasticity in auditory and visual systems
introduction: neuro-plasticity is the neuronal system ability to modify and recover itself after the occurrence of impairment and injuries. following the abolition of a sensory modality, modifications will be applied to other modalities and their cortical function in a way that the processing of these modalities not only will happen in their own specific cortical area, but also in those areas t...
متن کاملParametric Modal Transition Systems
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called pa...
متن کاملWeighted Modal Transition Systems
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it diff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1964
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093957979